Section: New Software and Platforms

math-comp-finmap

Finite maps and ordered types library

Keyword: Proof assistant

Functional Description: Support for reasoning about finite maps and ordered types

Release Functional Description: This release is solely an update of order.v and set.v in order to integrate the changes in math-comp/math-comp#270

• Contact: Cyril Cohen